kw.\*:("Nombre réel")
Results 1 to 25 of 605
Selection :
Δ1/3-sets of realsJUDAH, H; SHELAH, S.The Journal of symbolic logic. 1993, Vol 58, Num 1, pp 72-80, issn 0022-4812Conference Paper
Alternative models of the real number line in physicsROSS, D. K.International journal of theoretical physics. 1984, Vol 23, Num 12, pp 1207-1219, issn 0020-7748Article
RNC'5 : real numbers and computers (Lyon, 3-5 September 2003)Daumas, Marc; Villard, Gilles; Boyer, Sylvie et al.Real numbers and computers. Conference. 2003, isbn 2-7261-1260-9, 260 p., isbn 2-7261-1260-9Conference Proceedings
Chaitin Ω numbers, Solovay machines, and Gödel incompletenessCALUDE, Cristian S.Theoretical computer science. 2002, Vol 284, Num 2, pp 269-277, issn 0304-3975Article
The arithmetical hierarchy of real numbersXIZHONG ZHENG; WEIHRAUCH, K.Lecture notes in computer science. 1999, pp 23-33, issn 0302-9743, isbn 3-540-66408-4Conference Paper
Extension of the two-variable Pierce-Birkhoff conjecture to generalized polynomialsDELZELL, Charles N.Annales de la faculté des sciences de Toulouse. 2010, Vol 19, pp 37-56, issn 0240-2963, 20 p., NSArticle
Understanding Software Complexity Issues in Software Engineering CoursesSTEELE, Stuart; YIP, Keni.Frontiers in education : computer science & computer engineering. International conferenceWorldComp'2011. 2011, pp 42-47, isbn 1-60132-180-5, 6 p.Conference Paper
Comparing functional paradigms for exact real-number computationBAUER, Andrej; ESCARDO, Martin Hötzel; SIMPSON, Alex et al.Lecture notes in computer science. 2002, pp 488-500, issn 0302-9743, isbn 3-540-43864-5, 13 p.Conference Paper
Characterization of the computable real numbers by means of primitive recursive functionsSKORDEV, Dimiter.Lecture notes in computer science. 2001, pp 296-309, issn 0302-9743, isbn 3-540-42197-1Conference Paper
The ordered field of real numbers and logics with malitz quantifiersRAPP, A.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 380-389, issn 0022-4812Article
A banach-mazur computable but not markov computable function on the computable real numbers: (Extended abstract)HERTLING, Peter.Lecture notes in computer science. 2002, pp 962-972, issn 0302-9743, isbn 3-540-43864-5, 11 p.Conference Paper
Exact real arithmetic systems: Results of competitionBLANCK, Jens.Lecture notes in computer science. 2001, pp 389-393, issn 0302-9743, isbn 3-540-42197-1Conference Paper
Remark on a refinement of the cauchy-schwarz inequalityLIU ZHENG.Journal of mathematical analysis and applications. 1998, Vol 218, Num 1, pp 13-21, issn 0022-247XArticle
Exact real computer arithmetic with continued fractions; Arithmétique réelle exacte par les fractions continuesVUILLEMIN, Jean.Rapports de recherche - INRIA. 1987, Vol 760, issn 0249-6399, 41 p.Report
Efficient real number representation with arbitrary radixCAULFIELD, H. J; DVORE, D. S; GRUNINGER, J. H et al.Applied optics. 1984, Vol 23, Num 18, pp 3149-3151, issn 0003-6935Article
A property of the spectra of non-Pisot numbersZAÏMI, Toufik.Comptes rendus. Mathématique. 2010, Vol 348, Num 3-4, pp 121-124, issn 1631-073X, 4 p.Article
Almost decidable predicates of real variablesQING ZHOU; WEIHAO HU.Real numbers and computers. Conference. 2003, pp 31-45, isbn 2-7261-1260-9, 15 p.Conference Paper
Solving a system of difference constraints with variables restricted to a finite setFISHBURN, John P.Information processing letters. 2002, Vol 82, Num 3, pp 143-144, issn 0020-0190Article
A tour with constructive real numbersCIAFFAGLIONE, Alberto; DI GIANANTONIO, Pietro.Lecture notes in computer science. 2002, pp 41-52, issn 0302-9743, isbn 3-540-43287-6Conference Paper
Counting problems over the realsMEER, K.Theoretical computer science. 2000, Vol 242, Num 1-2, pp 41-58, issn 0304-3975Article
A SUM-DIVISION ESTIMATE OF REALSLIANGPAN LI; JIAN SHEN; ONO, Ken et al.Proceedings of the American Mathematical Society. 2010, Vol 138, Num 1, pp 101-104, issn 0002-9939, 4 p.Article
Finding a weight-constrained maximum-density subtree in a treeHSIEH, Sun-Yuan; CHOU, Ting-Yu.Lecture notes in computer science. 2005, pp 944-953, issn 0302-9743, isbn 3-540-30935-7, 1Vol, 10 p.Conference Paper
Ershov's hierarchy of real numbersXIZHONG ZHENG; RETTINGER, Robert; GENGLER, Romain et al.Lecture notes in computer science. 2003, pp 681-690, issn 0302-9743, isbn 3-540-40671-9, 10 p.Conference Paper
Randomness and reducibilityDOWNEY, Rod G; HIRSCHFELDT, Denis R; LAFORTE, Geoff et al.Lecture notes in computer science. 2001, pp 316-327, issn 0302-9743, isbn 3-540-42496-2Conference Paper
Infinite sum on the fuzzy real lineGEPING WANG.Fuzzy sets and systems. 1998, Vol 98, Num 2, pp 241-248, issn 0165-0114Article